2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Автор:
Erich Gradel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Ve
Категория:
Компьютеры
Размер книги: 4.01 Mb
Misbehavior in Organizations: Theory, Research, and Management (Series in Applied Psychology)
Автор:
Yoav Vardi
, Автор:
Ely Weitz
Категория:
Математика
,
Прикладная математика
Размер книги: 1.54 Mb
John Clare, Politics and Poetry
Автор:
Alan Vardy
Категория:
Общественные науки прочие
,
Политика
Размер книги: 1.18 Mb
The Worlds of Aulus Gellius
Автор:
Leofranc Holford-Strevens
, Автор:
Amiel Vardi
Размер книги: 2.99 Mb
Constructing Coleridge: The Posthumous Life of the Author
Автор:
Alan D. Vardy
Размер книги: 1.77 Mb
Reasoning About Knowledge
Автор:
Ronald Fagin
, Автор:
Joseph Y. Halpern
, Автор:
Yoram Moses
, Автор:
Moshe Y. Vardi
Размер книги: 9.50 Mb
The Integration of European Financial Markets: The Regulation of Monetary Obligations (UT Austin Studies in Foreign and Transnational Law)
Автор:
Noah Vardi
Размер книги: 1.39 Mb
La nuit blanche de Zoé
Автор:
Mirela Vardi
Размер книги: 1.99 Mb
Mountain Man
Автор:
Fisher Vardis
Категория:
fiction
Размер книги: 486 Kb
Vardi I. MGU Mekh-Math entrance examination problems for the Jews (IHES, 2000)(T)(49s).djvu
Автор:
Размер книги: 484 Kb
Vardi I. MGU Mekh-Math entrance examination problems for the Jews (IHES, 2000)(49s).djvu
Автор:
Размер книги: 474 Kb
Finite model theory and its applications
Автор:
Erich Grädel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Venema
, Автор:
Scott Weinstein
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 3.22 Mb
MGU Mekh-Math entrance examination problems for the Jews
Автор:
Vardi I.
Категория:
Mathematics
,
School-level
Размер книги: 484 Kb
Zeta function expansions of classical constants
Автор:
Flajolet
, Автор:
Vardi.
Категория:
Papers
,
Numerical methods
,
Zeta function
Размер книги: 34 Kb
Reasoning About Knowledge
Автор:
Ronald Fagin
, Автор:
Joseph Y. Halpern
, Автор:
Yoram Moses
, Автор:
Moshe Y. Vardi
Размер книги: 4.76 Mb
Finite Model Theory and Its Applications
Автор:
Erich Grädel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Venema
, Автор:
Scott Weinstein
Размер книги: 4.02 Mb
Misbehavior in Organizations: Theory, Research, and Management
Автор:
Yoav Vardi
, Автор:
Ely Weitz
Размер книги: 1.89 Mb
Zeta Function Expansions of Classical Constants
Автор:
Flajolet P.
, Автор:
Vardi I.
Размер книги: 115 Kb
Computer Aided Verification, 10 conf., CAV '98
Автор:
Alan J. Hu
, Автор:
Moshe Y. Vardi
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.51 Mb
Mathematics - Finite Model Theory and Its Applications
Автор:
Erich Grädel
, Автор:
Phokion G. Kolaitis
, Автор:
Leonid Libkin
, Автор:
Maarten Marx
, Автор:
Joel Spencer
, Автор:
Moshe Y. Vardi
, Автор:
Yde Venema
, Автор:
Scott Weinstein
Размер книги: 4.03 Mb
Reasoning About Knowledge
Автор:
Ronald Fagin
, Автор:
Joseph Y. Halpern
, Автор:
Yoram Moses
, Автор:
Moshe Y. Vardi
Размер книги: 4.76 Mb
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Автор:
Doron A. Peled
, Автор:
Moshe Y. Vardi
Размер книги: 4.63 Mb
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence
Автор:
Moshe Vardi
, Автор:
Andrei Voronkov
Размер книги: 4.08 Mb